|
Success in Connection-oriented Protocol Conformance Testing |
|
Researchers of the UniTESK Lab studied UniTESK feasibility to connection-oriented protocol conformance testing. The study is based on a “minimal” connection-oriented protocol ABRACADABRA.
The study demonstrated feasibility of UniTESK to conformance testing of conection-oriented protocols. The UniTESK Lab researchers developed a formal specification of the protocol and a test scenario that performs conformance testing of ABRACADABRA implementations.
|
|
Read more...
|
|
|
The Second Spring Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2008) held 29-30 May, 2008 in Saint-Petersburg.
The event was organized by Saint-Petersburg State University (SPbSU) and Institute for System Programming of RAS (ISPRAS) with support of Russian Foundation for Basic Research (RFBR).
Chairs of SYRCoSE are professor A.K. Petrenko (UniTESK Lab., ISPRAS) and professor A.N. Terekhov (SPbSU). About 20 talks, presented by the researchers from different universities and institutes, were done on the colloquium. Their topics include industrial software engineering, safety and security, functional verification, test generation, and others.
More detailed information on the colloquium is available on the web-site http://syrcose.ispras.ru.
|
|
|
The beta version of CTESK 2.5 has been published.
The main new features are:
- Full integration of CTESK tool in Eclipse+CDT (C/C++ Development Tools) IDE.
- Advanced facilities of test coverage definition and achieved coverage acquisition.
- The run-time support library implementation in C to improve the compatiblility of the binary library files with diffrenet versions of gcc compiler.
- Improved support of C programming language and its gcc extensions by the translator of specifications.
- Significant improvement of tools's speed and stability especially for large test suites.
|
|
|
On March 17-20 EclipceCon 2008 conference was held in Santa Clara, CA, USA. The conference spans the breadth and depth of the Eclipse ecosystem. It is the place for discussions of the current state and future directions of the Eclipse platform.
Sergey Gomanuyk and Alexey Khoroshilov, researches from UniTESK Lab, took part in the conference and presented the short talk «Towards common language toolkit for IDE development». The talk introduces a common toolkit for development an extensible IDE for one or several programming languages. The participants showed interest in the approach proposed.
Also members of UniTESK Lab discussed potential directions for UniTESK testing tools integration into such Eclipse projects as CDT, JDT, TPTP, and OSEE. Eclipse committers provide a valuable feedback on current issues and future ideas.
|
|
Read more...
|
|
|
Azov - technology of massive automated test construction for sanity testing |
|
ISP RAS developed a technology of massive automated API test construction for complex systems with incomplete requirements specification. The technology called Azov helps to create sanity tests checking absence of critical errors in simple use cases of system's interface operations. Test development according to this technology is based on a database with well-structured syntactic information of the interfaces operations under test. Azov technology was successfully applied to create sanity tests for GUI applications development library Qt, which interface consists of about 10000 operations. |
|
|
|
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
|
| Results 28 - 36 of 82 |
